proper functor

真函子